Variability encoding: From compile-time to load-time variability
نویسندگان
چکیده
منابع مشابه
Variability encoding: From compile-time to load-time variability
Many software systems today are configurable. Analyzing configurable systems is challenging, especially as (1) the number of system variants may grow exponentially with the number of configuration options, and (2) often existing analysis tools cannot be used for configurable systems. Recent work proposes to automatically transform compile-time variability into load-time variability—called varia...
متن کاملDesigning Real-Time Prices to Reduce Load Variability with HVAC
Utilities use demand response to shift or reduce electricity usage of flexible loads, to better match electricity demand to power generation. A common mechanism is peak pricing (PP), where consumers pay reduced (increased) prices for electricity during periods of low (high) demand, and its simplicity allows consumers to understand how their consumption affects costs. However, new consumer techn...
متن کاملRun Time Compile Time Compile − time Specialization Run − time
Because of its wide applicability, many eecient implementations of the Fast Fourier Transform have been developed. We propose that an eecient implementation can be produced automatically and reliably by partial evaluation. Partial evaluation of an unoptimized implementation produces a speedup of over 9 times. The automatically generated result of partial evaluation has performance comparable to...
متن کاملResponse time variability
This paper presents a work-in-progress on the response time variability problem. This problem occurs whenever events, jobs, clients or products need to be sequenced so as to minimize the variability of time they wait for their next turn in obtaining the necessary resources. The problem has numerous real-life applications, which will be briefly reviewed. The problem has distinctive number theore...
متن کاملCompile - Time Minimisation of Load Imbalance in Loop
Parallelising compilers typically need some performance estimation capability in order to evaluate the trade-oos between diierent transformations. Such a capability requires sophisticated techniques for analysing the program and providing quantitative estimates to the compiler's internal cost model. Making use of techniques for symbolic evaluation of the number of iterations in a loop, this pap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2016
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2015.06.007